SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionNovember 2014) Contents

Source URL: types.cs.washington.edu

• Embedded Linux
• Smartphones
• Java platform
• Android
• Type system
• Apache Ant
• Java
• Software
• Computing
• Cross-platform software

Draft Special PublicationSource Code Security Analysis Tool Functional Specification Version 1.0 Information Technology Laboratory (ITL), Software

Source URL: samate.nist.gov

• Computer security
• Software testing
• Computer network security
• Security engineering
• Software security assurance
• Vulnerability
• Application security
• Software assurance
• Static program analysis
• Software quality
• Cyberwarfare
• Security

Flexible and Practical Flow Analysis for Higher-Order Programming Languages by J. Michael Ashley Submitted to the faculty of the University Graduate School

Source URL: repository.readscheme.org

• Programming language implementation
• Software
• Theoretical computer science
• Compiler
• Algorithm
• Continuation-passing style
• Static single assignment form
• Program optimization
• Programming language
• Software engineering
• Computing
• Compiler construction

Software Metrics in Static Program Analysis Andreas Vogelsang1 , Ansgar Fehnker2 , Ralf Huuck2 , and Wolfgang Reif1 1 Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg Universtitätsstrasse 14

Source URL: www.cse.unsw.edu.au

SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨

Source URL: www.cse.unsw.edu.au

• Mathematical logic
• Computing
• NuSMV
• XML
• Static single assignment form
• Model checking
• Linear temporal logic
• Computation tree logic
• Type system
• Theoretical computer science
• Temporal logic
• Logic in computer science

Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore

Source URL: www.adacore.com

• Ada programming language
• Program analysis
• Formal methods
• Avionics
• Type theory
• SPARK
• Ada
• Static program analysis
• Software bug
• Computing
• Software engineering
• Programming language theory

Automatic Bug Detection in Microcontroller Software by Static Program Analysis Ansgar Fehnker1 , Ralf Huuck1 , Bastian Schlich2 , and Michael Tapp1 2

Source URL: www.cse.unsw.edu.au

• Embedded systems
• Central processing unit
• Special function register
• Immunity-aware programming
• Computer architecture
• Interrupts
• Microcontrollers

User Manual Frama-C User Manual Release NitrogenLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien

Source URL: frama-c.com

• Program analysis
• Computer programming
• Static program analysis
• Plug-in
• Software
• Frama-C
• Computing

Blended Program Analysis for Improving Reliability of Real-world Applications Dr. Barbara G. Ryder J. Byron Maupin Professor of Engineering Virginia Tech

Source URL: people.cs.vt.edu

• Program analysis
• Java platform
• Computing platforms
• Dynamic programming language
• Evaluation strategy
• JavaScript
• Static program analysis
• Dynamic program analysis
• C
• Computing
• Software engineering
• Cross-platform software

SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMay 2014) Contents

Source URL: types.cs.washington.edu

• Embedded Linux
• Cloud clients
• Android
• Application software
• Apache Ant
• Portable Document Format
• Software
• Computing
• Smartphones